tautology discrete mathematics tamil